void arm11_mutex_lock(int*);
void arm11_mutex_unlock(int*);
